Using Component-based Software Synthesis and Constraint Solving to generate Sets of Manufacturing Simulation Models

There is a high degree of flexibility in the design of production systems when it comes to the selection and configuration of machines. Simulation supports this complex decision process. However, modeling various configurations in a simulation environment is very time-consuming. We present a framework that includes component-based software synthesis to generate the set of all possible simulation models for the respective planning case. From the set, feasible solutions for a simulation study are then selected using constraint solving methods. We evaluate our approach using a practical example from sheet metal production

Automatic Building of a Repository for Component-based Synthesis of Warehouse Simulation Models

Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling is a complex and time-consuming task. Due to limited resources, often not all possible system variants can be modeled. A promising solution is the migration of an existing simulation model to enable component-based software synthesis. An inhabitation algorithm composes structural variants according to a synthesis goal given a repository of typed components. In this paper, we automatically generate a repository and synthesize simulation model variants using a block stacking warehouse simulation model as an example